solution mixture SAT problem

visit shbcf.ru